import sys

if len(sys.argv) < 3:
    print("Please input two files to compare!")
    sys.exit(1)

file1 = sys.argv[1]
file2 = sys.argv[2]

diffFlag = False

with open(file1, 'r') as f1, open(file2, 'r') as f2:
    for line1, line2 in zip(f1, f2):
        folder1, filename1, result1 = line1.strip().replace(" ", "").split(',')
        folder2, filename2, result2 = line2.strip().replace(" ", "").split(',')

        # print('+'+result1+'+', '+'+result2+'+')
        if (result1 == 'Unrealizable' or result1 == 'Realizable') and (result2 == 'Unrealizable' or result2 == 'Realizable'):
            if result1 != result2:
                diffFlag = True
                print((folder1+'/'+filename1).ljust(18), result1, result2)

if diffFlag is False:
    print('Congratulations! The two results have no conflictions!')